[
  (a: b: 0)
  ({ }: { }: 0)
  ({ ... }: 0)
  ({ a }: 0)
  ({ a, }: 0)
  ({ a, ... }: 0)
  ({ a, b }: 0)
  ({ ... }: 0)
  ({ a ? {}: a, b, ... }: 0)

  (a @ { }: 0)
  (a @ { a }: 0)
  ({ } @ a: 0)
  ({ a } @ a: 0)
]
